Basic research

Results: 2119



#Item
421

BRICS Basic Research in Computer Science BRICS NS-02-4 Gudbjartsson et al.: An BDD-Based Implementation of the Allegro Software

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2002-08-08 08:49:24
    422

    BRICS Basic Research in Computer Science BRICS RS-98-4 Nielsen & Hune: Timed Bisimulation and Open Maps

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 1998-12-03 08:43:13
      423

      BRICS Basic Research in Computer Science BRICS RSBrabrand et al.: The Project The Project

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2001-02-20 08:04:01
        424

        Table X1: Egrett payload Instrument Measurement PI Basic Meteorology and position Pressure, temperature, wind, GPS (1 Hz) Jorg Hacker, Airborne Research Australia DMT Single Particle Soot Photometer (SP-2) † Aerosol pa

        Add to Reading List

        Source URL: personalpages.manchester.ac.uk

        Language: English - Date: 2006-07-05 09:51:12
          425

          BRICS Basic Research in Computer Science BRICS RSDanvy & Nielsen: A Higher-Order Colon Translation A Higher-Order Colon Translation

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2001-02-07 07:08:16
            426

            BRICS Basic Research in Computer Science BRICS RSAndersen et al.: A Compositional Proof System for the Modal µ-Calculus A Compositional Proof System for the

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 1999-03-25 08:34:07
              427

              BRICS RSM. Goldberg: On the Recursive Enumerability of Fixed-Point Combinators BRICS Basic Research in Computer Science

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2004-12-08 04:20:11
                428

                BRICS NS-05-2 Aceto & Fokkink: The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems BRICS Basic Research in Computer Science

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2005-05-23 08:56:39
                  429

                  Derfner-Children’s Miracle Network Hospitals Research Award Application Process (Revised DecemberEach year the Department of Pediatrics funds support for clinical, basic or applied research projects proposed by

                  Add to Reading List

                  Source URL: pediatrics.duke.edu

                  Language: English - Date: 2014-12-12 13:19:33
                    430

                    BRICS RSBiernacki & Danvy: A Simple Proof of a Folklore Theorem about Delimited Control BRICS Basic Research in Computer Science

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 2005-08-08 08:47:05
                      UPDATE